Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 120 a 139 di 323
Titolo Data di pubblicazione Autore(i) File
HELM and the Semantic Math-Web 2001 ASPERTI A; L. PADOVANI; SACERDOTI COEN C; SCHENA I
Hercules: Scalable and Network Portable In-Memory Ad-Hoc File System for Data-Centric and High-Performance Applications 2023 Garcia-Blas J.; Sanchez-Gallegos G.; Petre C.; Martinelli A.R.; Aldinucci M.; Carretero J.
Higer-Order Linear Ramified Recurrence 2004 U. DAL LAGO; MARTINI; L. ROVERSI
High-Performance Haplotype Assembly 2015 Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati
I-Java: an extension of Java with incomplete objects and object composition 2009 Lorenzo Bettini; Viviana Bono; Erica Turin
Identification, Validation and Certification of previous skills to support vulnerable worker in post pandemic dynamics 2022 D.Robasto
The Impact of CPU Frequency Scaling on Power Consumption of Computing Infrastructures 2020 Adriano Marques Garcia, Matheus Serpa, Dalvan Griebler, Claudio Schepke, Luiz G. L. Fernandes, Philippe O. A. Navaux
An Imperative First-Order Calculus with Object Extension 1998 V. Bono;K. Fisher
The Implementation of ASSIST, an Environment for Parallel and Distributed Programming 2004 Marco Aldinucci; Sonia Campa; Pierpaolo Ciullo; Massimo Coppola; Silvia Magini; Paolo Pesciullesi; Laura Potiti; Roberto Ravazzolo; Massimo Torquati; Marco Vanneschi; Corrado Zoccolo
Implementing Session Centered Calculi 2008 Lorenzo Bettini; Rocco De Nicola; Michele Loreti
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker 2013 Amparore, Elvio Gilberto; and Donatelli, Susanna
An inference algorithm for strictness 1997 Ferruccio Damiani; Paola Giannini
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 2013 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Information diffusion in complex networks: a model based on hypergraphs and its analysis 2020 Antelmi A.; Cordasco G.; Spagnuolo C.; Szufel P.
Innovative TV: From an Old Standard to a New Concept of Interactive TV - An Italian Job 2007 R. Simeoni; L. Eltzer; E. Guercio; M. Perrero; A. Rapp; R. Montanari; F. Tesauri
Interaction with Web Services in the Adaptive Web 2004 ARDISSONO L; GOY A; PETRONE G; SEGNAN M
Interactive chart of story characters’ intentions 2016 Lombardo, Vincenzo; Pizzo, Antonio; Damiano, Rossana; Terzulli, Carmi; Albert, Giacomo
Interconnection of large scale unstructured P2P networks: modeling and analysis 2013 V. Ciancaglini; R. Gaeta; R. Loti; L. Liquori
Internal Normalization, Compilation and Decompilation for System F 2010 Stefano Berardi; Makoto Tatsuta
Interpretations of Extensible Objects and Types 1999 V. Bono;M. Bugliesi
Mostrati risultati da 120 a 139 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile